function main() {
    printf("%s\n", "hello world!");
}
